A Formal Semantics for Weighted Ontology Mappings
نویسندگان
چکیده
Ontology mappings are often assigned a weight or confidence factor by matchers. Nonetheless, few semantic accounts have been given so far for such weights. This paper presents a formal semantics for weighted mappings between different ontologies. It is based on a classificational interpretation of mappings: if O1 and O2 are two ontologies used to classify a common set X , then mappings between O1 and O2 are interpreted to encode how elements of X classified in the concepts of O1 are re-classified in the concepts of O2, and weights are interpreted to measure how precise and complete re-classifications are. This semantics is justifiable by extensional practice of ontology matching. It is a conservative extension of a semantics of crisp mappings. The paper also includes properties that relate mapping entailment with description logic constructors.
منابع مشابه
Towards Defeasible Mappings for Tractable Description Logics (Technical Report)
We present a novel approach to denote mappings between EL-based ontologies which are defeasible in the sense that such a mapping only applies to individuals if this does not cause an inconsistency. This provides the advantage of handling exceptions automatically and thereby avoiding logical inconsistencies that may be caused due to the traditional type of mappings. We consider the case where ma...
متن کاملDiscovering the Semantics of Relational Tables Through Mappings
Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relationship (“mapping”) between the schema and a formal conceptual model or ontology (CM) of the domain. In this paper we describe the underlying principles, algorithms, and a prototype tool that finds such semantic mappings from rel...
متن کاملTowards Defeasible Mappings for Tractable Description Logics
We present a novel approach to denote mappings between EL-based ontologies which are defeasible in the sense that such a mapping only applies to individuals if this does not cause an inconsistency. This provides the advantage of handling exceptions automatically and thereby avoiding logical inconsistencies that may be caused due to the traditional type of mappings. We consider the case where ma...
متن کاملOntology-Based Integration for Relational Data
Framework and Results. In this paper, we briefly describe an ontology-based approach that uses a first order theorem-prover for information integration. We have also built OntoGrate to evaluate our approach and describe its architecture here. Throughout, we refer to the term ontology as the formal specifications of the vocabularies of concepts and the relationships among them. Also, for us, int...
متن کاملCreating Semantically Integrated Communities on the World Wide Web
In this paper, we address the question: How can we create a network of semantically integrated communities on the World Wide Web? We first clarify some confusion about what “semantics” means and introduce a semantic continuum ranging from the kind of semantics that exist on the Web today to a rich semantic infrastructure on the Semantic Web of the future. We clarify what is meant by “semantic i...
متن کامل